full subcategory

完全子范畴